#!/bin/sh
printf '\033]0;%s\007' "$*"
